Group Therapy/ Serials Claiming

Transfer from print to electronic serials

Tressa: Claiming the Future

Unlike sequential programs, concurrent programs have to account for interference on shared variables. Static verification of a desired property for such programs crucially depends on precisely asserting the conditions for interference. In a static proof system, in addition to program variables, auxiliary (history) variables summarizing the past of the program execution are used in these asserti...

Structuring Serials Bibliographic Relationships through ID Linking

Many hands make overlooked work: Over-claiming of responsibility increases with group size.

Logically, group members cannot be responsible for more than 100% of the group's output, yet claims of responsibility routinely sum to more than 100%. This "over-claiming" occurs partly because of egocentrism: People focus on their own contributions, as focal members of the group, more than on others' contributions. Therefore, we predicted that over-claiming would increase with group size becau...

Framing and Claiming: How Information-Framing Affects Expected Social Security Claiming Behavior.

This paper provides evidence that Social Security benefit claiming decisions are strongly affected by framing and are thus inconsistent with expected utility theory. Using a randomized experiment that controls for both observable and unobservable differences across individuals, we find that the use of a "breakeven analysis" encourages early claiming. Respondents are more likely to delay when la...